$\forall$$r$:Rng. $r$$\downarrow$xmn $\in$ IMonoid